Free shipping on all orders! No minimum purchase required.
Tools and Algorithms for the Construction and Analysis of Systems
by Nicolas Halbwachs (Editor), Lenore Zuck (Editor)
Computer Aided Verification
by Nicolas Halbwachs (Editor), Doron Peled (Editor)
